[next] [prev] [prev-tail] [tail] [up]

2.2.11 Integrals 1001 to 1100

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 1001

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

42 42 37 35 0 76 0 0 0

N.S.

1 1.00 0.88 0.83 0.00 1.81 0.00 0.00 0.00

time (sec)

N/A 0.164 0.255 3.177 0.000 0.097 0.000 0.000 0.000

Problem 1002

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 43 38 35 0 76 0 0 0

N.S.

1 1.00 0.88 0.81 0.00 1.77 0.00 0.00 0.00

time (sec)

N/A 0.171 0.244 3.158 0.000 0.088 0.000 0.000 0.000

Problem 1003

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

47 47 38 35 0 78 0 0 0

N.S.

1 1.00 0.81 0.74 0.00 1.66 0.00 0.00 0.00

time (sec)

N/A 0.169 0.251 3.168 0.000 0.092 0.000 0.000 0.000

Problem 1004

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

80 80 48 30 0 64 0 0 0

N.S.

1 1.00 0.60 0.38 0.00 0.80 0.00 0.00 0.00

time (sec)

N/A 0.181 0.245 3.131 0.000 0.085 0.000 0.000 0.000

Problem 1005

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

82 82 48 26 0 64 0 0 0

N.S.

1 1.00 0.59 0.32 0.00 0.78 0.00 0.00 0.00

time (sec)

N/A 0.184 0.239 3.120 0.000 0.088 0.000 0.000 0.000

Problem 1006

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

88 88 38 36 0 54 0 0 0

N.S.

1 1.00 0.43 0.41 0.00 0.61 0.00 0.00 0.00

time (sec)

N/A 0.188 0.240 3.089 0.000 0.089 0.000 0.000 0.000

Problem 1007

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 50 34 0 48 0 0 0

N.S.

1 1.00 2.94 2.00 0.00 2.82 0.00 0.00 0.00

time (sec)

N/A 0.163 0.251 3.297 0.000 0.091 0.000 0.000 0.000

Problem 1008

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

109 109 121 111 108 102 0 108 128

N.S.

1 1.00 1.11 1.02 0.99 0.94 0.00 0.99 1.17

time (sec)

N/A 0.254 0.171 9.012 0.301 0.299 0.000 0.325 5.059

Problem 1009

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

94 104 105 97 97 122 0 97 117

N.S.

1 1.11 1.12 1.03 1.03 1.30 0.00 1.03 1.24

time (sec)

N/A 0.226 0.108 8.380 0.287 0.323 0.000 0.317 5.142

Problem 1010

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

79 86 82 82 86 86 78 86 106

N.S.

1 1.09 1.04 1.04 1.09 1.09 0.99 1.09 1.34

time (sec)

N/A 0.206 0.115 3.329 0.280 0.262 54.005 0.305 5.347

Problem 1011

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

136 153 163 147 0 177 0 149 256

N.S.

1 1.12 1.20 1.08 0.00 1.30 0.00 1.10 1.88

time (sec)

N/A 0.277 0.305 3.480 0.000 0.281 0.000 0.324 5.124

Problem 1012

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

97 109 108 142 0 115 0 100 120

N.S.

1 1.12 1.11 1.46 0.00 1.19 0.00 1.03 1.24

time (sec)

N/A 0.227 0.148 14.982 0.000 0.298 0.000 0.320 5.136

Problem 1013

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

172 190 214 226 0 217 0 177 397

N.S.

1 1.10 1.24 1.31 0.00 1.26 0.00 1.03 2.31

time (sec)

N/A 0.316 0.266 4.509 0.000 0.272 0.000 0.310 5.584

Problem 1014

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F F F(-1)

verified

N/A No No N/A TBD TBD TBD TBD TBD

size

536 587 156 0 0 0 0 0 0

N.S.

1 1.10 0.29 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.509 5.176 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1015

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F F F(-1)

verified

N/A No Yes N/A TBD TBD TBD TBD TBD

size

515 568 28 0 0 0 0 0 0

N.S.

1 1.10 0.05 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.468 3.980 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1016

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

113 113 118 938 0 1232 0 0 0

N.S.

1 1.00 1.04 8.30 0.00 10.90 0.00 0.00 0.00

time (sec)

N/A 0.178 0.026 14.461 0.000 0.717 0.000 0.000 0.000

Problem 1017

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F F F(-1)

verified

N/A No No N/A TBD TBD TBD TBD TBD

size

538 591 161 0 0 0 0 0 0

N.S.

1 1.10 0.30 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.470 10.091 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1018

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F F F(-1)

verified

N/A No No N/A TBD TBD TBD TBD TBD

size

556 610 166 0 0 0 0 0 0

N.S.

1 1.10 0.30 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.527 10.094 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1019

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

133 150 124 119 126 133 0 126 148

N.S.

1 1.13 0.93 0.89 0.95 1.00 0.00 0.95 1.11

time (sec)

N/A 0.251 0.266 8.305 0.286 0.277 0.000 0.324 6.123

Problem 1020

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

116 129 119 114 115 153 0 115 137

N.S.

1 1.11 1.03 0.98 0.99 1.32 0.00 0.99 1.18

time (sec)

N/A 0.229 0.252 8.038 0.287 0.267 0.000 0.324 5.300

Problem 1021

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

101 113 112 107 104 121 0 104 126

N.S.

1 1.12 1.11 1.06 1.03 1.20 0.00 1.03 1.25

time (sec)

N/A 0.213 0.195 7.639 0.296 0.262 0.000 0.310 5.297

Problem 1022

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

101 113 112 108 104 125 0 104 126

N.S.

1 1.12 1.11 1.07 1.03 1.24 0.00 1.03 1.25

time (sec)

N/A 0.209 0.134 7.562 0.295 0.281 0.000 0.319 5.343

Problem 1023

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

158 175 184 217 0 227 0 167 375

N.S.

1 1.11 1.16 1.37 0.00 1.44 0.00 1.06 2.37

time (sec)

N/A 0.292 0.269 4.764 0.000 0.284 0.000 0.332 5.383

Problem 1024

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

183 205 194 271 0 238 0 190 409

N.S.

1 1.12 1.06 1.48 0.00 1.30 0.00 1.04 2.23

time (sec)

N/A 0.316 0.335 4.786 0.000 0.292 0.000 0.324 5.401

Problem 1025

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

208 233 197 264 0 265 0 181 416

N.S.

1 1.12 0.95 1.27 0.00 1.27 0.00 0.87 2.00

time (sec)

N/A 0.339 0.373 4.855 0.000 0.255 0.000 0.314 5.533

Problem 1026

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F F F(-1)

verified

N/A No No N/A TBD TBD TBD TBD TBD

size

543 596 157 0 0 0 0 0 0

N.S.

1 1.10 0.29 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.490 4.796 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1027

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F F F(-1)

verified

N/A No No N/A TBD TBD TBD TBD TBD

size

543 596 156 0 0 0 0 0 0

N.S.

1 1.10 0.29 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.473 4.464 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1028

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F F F(-1)

verified

N/A No No N/A TBD TBD TBD TBD TBD

size

543 596 157 0 0 0 0 0 0

N.S.

1 1.10 0.29 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.480 10.120 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1029

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F F F(-1)

verified

N/A No No N/A TBD TBD TBD TBD TBD

size

563 614 168 0 0 0 0 0 0

N.S.

1 1.09 0.30 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.521 10.101 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1030

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F F F(-1)

verified

N/A No No N/A TBD TBD TBD TBD TBD

size

581 641 173 0 0 0 0 0 0

N.S.

1 1.10 0.30 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.550 10.111 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1031

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

136 136 110 126 151 114 0 160 82

N.S.

1 1.00 0.81 0.93 1.11 0.84 0.00 1.18 0.60

time (sec)

N/A 0.260 0.233 5.008 0.291 0.265 0.000 0.291 5.399

Problem 1032

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

121 121 103 131 140 107 0 140 71

N.S.

1 1.00 0.85 1.08 1.16 0.88 0.00 1.16 0.59

time (sec)

N/A 0.229 0.133 4.943 0.290 0.276 0.000 0.293 0.167

Problem 1033

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

106 106 96 117 129 102 0 129 60

N.S.

1 1.00 0.91 1.10 1.22 0.96 0.00 1.22 0.57

time (sec)

N/A 0.203 0.102 4.641 0.301 0.259 0.000 0.288 5.426

Problem 1034

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

91 91 76 100 118 93 0 118 49

N.S.

1 1.00 0.84 1.10 1.30 1.02 0.00 1.30 0.54

time (sec)

N/A 0.167 0.091 3.225 0.300 0.268 0.000 0.288 0.153

Problem 1035

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

145 145 117 156 0 175 0 216 91

N.S.

1 1.00 0.81 1.08 0.00 1.21 0.00 1.49 0.63

time (sec)

N/A 0.283 0.180 8.581 0.000 0.263 0.000 0.333 5.412

Problem 1036

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

163 163 155 194 0 215 0 192 109

N.S.

1 1.00 0.95 1.19 0.00 1.32 0.00 1.18 0.67

time (sec)

N/A 0.352 0.260 16.480 0.000 0.295 0.000 0.332 0.294

Problem 1037

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

164 164 184 0 0 0 0 0 0

N.S.

1 1.00 1.12 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.246 5.786 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1038

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

148 148 37 0 0 0 0 0 0

N.S.

1 1.00 0.25 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.224 5.261 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1039

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

120 120 119 188 0 289 0 0 0

N.S.

1 1.00 0.99 1.57 0.00 2.41 0.00 0.00 0.00

time (sec)

N/A 0.183 0.023 3.147 0.000 1.988 0.000 0.000 0.000

Problem 1040

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

166 166 56 0 0 0 0 0 0

N.S.

1 1.00 0.34 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.238 11.030 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1041

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

184 184 156 0 0 0 0 0 0

N.S.

1 1.00 0.85 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.263 11.108 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1042

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

78 82 57 65 74 64 88 75 62

N.S.

1 1.05 0.73 0.83 0.95 0.82 1.13 0.96 0.79

time (sec)

N/A 0.206 0.054 4.006 0.278 0.268 6.299 0.364 0.131

Problem 1043

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 67 53 67 63 57 75 64 51

N.S.

1 1.06 0.84 1.06 1.00 0.90 1.19 1.02 0.81

time (sec)

N/A 0.196 0.045 3.901 0.311 0.286 4.987 0.358 5.416

Problem 1044

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

48 57 44 53 52 52 58 53 36

N.S.

1 1.19 0.92 1.10 1.08 1.08 1.21 1.10 0.75

time (sec)

N/A 0.177 0.029 3.884 0.277 0.279 4.050 0.379 5.390

Problem 1045

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

33 37 33 42 41 41 42 42 25

N.S.

1 1.12 1.00 1.27 1.24 1.24 1.27 1.27 0.76

time (sec)

N/A 0.169 0.026 3.161 0.276 0.272 2.914 0.360 0.169

Problem 1046

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F A B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

173 172 110 142 0 133 0 155 77

N.S.

1 0.99 0.64 0.82 0.00 0.77 0.00 0.90 0.45

time (sec)

N/A 0.359 0.119 4.524 0.000 0.266 0.000 0.369 5.490

Problem 1047

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F A B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

191 197 127 176 0 170 0 169 82

N.S.

1 1.03 0.66 0.92 0.00 0.89 0.00 0.88 0.43

time (sec)

N/A 0.394 0.180 7.823 0.000 0.272 0.000 0.375 0.224

Problem 1048

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

244 244 177 0 0 0 0 0 0

N.S.

1 1.00 0.73 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.409 5.431 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1049

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

224 224 52 0 0 0 0 0 0

N.S.

1 1.00 0.23 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.323 5.106 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1050

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

61 61 56 137 0 104 0 0 0

N.S.

1 1.00 0.92 2.25 0.00 1.70 0.00 0.00 0.00

time (sec)

N/A 0.150 0.027 3.135 0.000 2.104 0.000 0.000 0.000

Problem 1051

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

246 246 64 0 0 0 0 0 0

N.S.

1 1.00 0.26 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.347 10.023 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1052

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

264 264 148 0 0 0 0 0 0

N.S.

1 1.00 0.56 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.459 10.112 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1053

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

129 129 109 187 0 137 0 0 0

N.S.

1 1.00 0.84 1.45 0.00 1.06 0.00 0.00 0.00

time (sec)

N/A 0.192 1.645 5.697 0.000 0.245 0.000 0.000 0.000

Problem 1054

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

120 120 109 187 0 137 0 0 0

N.S.

1 1.00 0.91 1.56 0.00 1.14 0.00 0.00 0.00

time (sec)

N/A 0.190 1.683 5.542 0.000 0.276 0.000 0.000 0.000

Problem 1055

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F C F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

124 124 112 0 0 174 0 0 0

N.S.

1 1.00 0.90 0.00 0.00 1.40 0.00 0.00 0.00

time (sec)

N/A 0.200 1.824 0.000 0.000 0.265 0.000 0.000 0.000

Problem 1056

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F C F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

119 119 114 0 0 178 0 0 0

N.S.

1 1.00 0.96 0.00 0.00 1.50 0.00 0.00 0.00

time (sec)

N/A 0.195 1.830 0.000 0.000 0.283 0.000 0.000 0.000

Problem 1057

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F C F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

120 120 119 0 0 164 0 0 0

N.S.

1 1.00 0.99 0.00 0.00 1.37 0.00 0.00 0.00

time (sec)

N/A 0.196 1.774 0.000 0.000 0.293 0.000 0.000 0.000

Problem 1058

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F C F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

120 120 119 0 0 164 0 0 0

N.S.

1 1.00 0.99 0.00 0.00 1.37 0.00 0.00 0.00

time (sec)

N/A 0.191 1.791 0.000 0.000 0.254 0.000 0.000 0.000

Problem 1059

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F C F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

115 115 121 0 0 198 0 0 0

N.S.

1 1.00 1.05 0.00 0.00 1.72 0.00 0.00 0.00

time (sec)

N/A 0.194 1.838 0.000 0.000 0.278 0.000 0.000 0.000

Problem 1060

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F C F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

119 119 125 0 0 202 0 0 0

N.S.

1 1.00 1.05 0.00 0.00 1.70 0.00 0.00 0.00

time (sec)

N/A 0.194 1.805 0.000 0.000 0.263 0.000 0.000 0.000

Problem 1061

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

188 188 110 126 151 106 0 160 82

N.S.

1 1.00 0.59 0.67 0.80 0.56 0.00 0.85 0.44

time (sec)

N/A 0.414 0.182 5.311 0.306 0.302 0.000 0.292 5.544

Problem 1062

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

173 173 105 131 140 101 0 140 71

N.S.

1 1.00 0.61 0.76 0.81 0.58 0.00 0.81 0.41

time (sec)

N/A 0.375 0.133 4.978 0.305 0.281 0.000 0.296 0.181

Problem 1063

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

158 158 97 117 129 94 0 129 60

N.S.

1 1.00 0.61 0.74 0.82 0.59 0.00 0.82 0.38

time (sec)

N/A 0.342 0.111 4.985 0.295 0.283 0.000 0.307 0.169

Problem 1064

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C F A B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

143 152 78 100 118 117 0 118 49

N.S.

1 1.06 0.55 0.70 0.83 0.82 0.00 0.83 0.34

time (sec)

N/A 0.319 0.092 3.267 0.283 0.286 0.000 0.299 5.421

Problem 1065

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

197 197 121 158 0 207 0 210 91

N.S.

1 1.00 0.61 0.80 0.00 1.05 0.00 1.07 0.46

time (sec)

N/A 0.411 0.183 10.745 0.000 0.261 0.000 0.330 0.237

Problem 1066

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

215 215 155 194 0 247 0 192 107

N.S.

1 1.00 0.72 0.90 0.00 1.15 0.00 0.89 0.50

time (sec)

N/A 0.460 0.266 30.188 0.000 0.273 0.000 0.334 0.279

Problem 1067

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

182 182 190 0 0 0 0 0 0

N.S.

1 1.00 1.04 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.283 6.388 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1068

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

164 164 184 0 0 0 0 0 0

N.S.

1 1.00 1.12 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.266 5.943 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1069

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

120 120 109 187 0 137 0 0 0

N.S.

1 1.00 0.91 1.56 0.00 1.14 0.00 0.00 0.00

time (sec)

N/A 0.191 0.035 4.494 0.000 0.274 0.000 0.000 0.000

Problem 1070

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

148 155 63 0 0 0 0 0 0

N.S.

1 1.05 0.43 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.220 5.763 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1071

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

166 166 37 0 0 0 0 0 0

N.S.

1 1.00 0.22 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.268 11.069 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1072

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

184 184 37 0 0 0 0 0 0

N.S.

1 1.00 0.20 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.285 11.050 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1073

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

61 61 54 139 0 104 0 0 0

N.S.

1 1.00 0.89 2.28 0.00 1.70 0.00 0.00 0.00

time (sec)

N/A 0.157 1.610 3.202 0.000 0.269 0.000 0.000 0.000

Problem 1074

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

61 61 54 138 0 115 0 0 0

N.S.

1 1.00 0.89 2.26 0.00 1.89 0.00 0.00 0.00

time (sec)

N/A 0.160 1.619 3.294 0.000 0.258 0.000 0.000 0.000

Problem 1075

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F B F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

72 72 62 0 0 275 0 0 0

N.S.

1 1.00 0.86 0.00 0.00 3.82 0.00 0.00 0.00

time (sec)

N/A 0.171 1.788 0.000 0.000 0.288 0.000 0.000 0.000

Problem 1076

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F B F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

74 74 65 0 0 274 0 0 0

N.S.

1 1.00 0.88 0.00 0.00 3.70 0.00 0.00 0.00

time (sec)

N/A 0.174 1.772 0.000 0.000 0.294 0.000 0.000 0.000

Problem 1077

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F C F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

85 85 75 0 0 140 0 0 0

N.S.

1 1.00 0.88 0.00 0.00 1.65 0.00 0.00 0.00

time (sec)

N/A 0.178 1.784 0.000 0.000 0.269 0.000 0.000 0.000

Problem 1078

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F C F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

85 85 75 0 0 140 0 0 0

N.S.

1 1.00 0.88 0.00 0.00 1.65 0.00 0.00 0.00

time (sec)

N/A 0.173 1.799 0.000 0.000 0.277 0.000 0.000 0.000

Problem 1079

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F C F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

96 96 83 0 0 198 0 0 0

N.S.

1 1.00 0.86 0.00 0.00 2.06 0.00 0.00 0.00

time (sec)

N/A 0.183 1.795 0.000 0.000 0.285 0.000 0.000 0.000

Problem 1080

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F C F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

98 98 86 0 0 202 0 0 0

N.S.

1 1.00 0.88 0.00 0.00 2.06 0.00 0.00 0.00

time (sec)

N/A 0.186 1.797 0.000 0.000 0.273 0.000 0.000 0.000

Problem 1081

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

78 82 57 65 74 64 88 75 62

N.S.

1 1.05 0.73 0.83 0.95 0.82 1.13 0.96 0.79

time (sec)

N/A 0.205 0.058 4.137 0.280 0.261 6.387 0.379 0.097

Problem 1082

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 67 52 67 63 59 75 64 51

N.S.

1 1.06 0.83 1.06 1.00 0.94 1.19 1.02 0.81

time (sec)

N/A 0.198 0.046 3.997 0.279 0.256 5.143 0.376 0.119

Problem 1083

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

48 57 44 53 52 52 58 53 36

N.S.

1 1.19 0.92 1.10 1.08 1.08 1.21 1.10 0.75

time (sec)

N/A 0.177 0.035 4.223 0.288 0.255 4.253 0.357 0.110

Problem 1084

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

33 37 33 26 41 41 42 42 25

N.S.

1 1.12 1.00 0.79 1.24 1.24 1.27 1.27 0.76

time (sec)

N/A 0.165 0.026 3.206 0.292 0.249 3.136 0.367 0.106

Problem 1085

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F A B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

173 174 111 146 0 133 0 155 77

N.S.

1 1.01 0.64 0.84 0.00 0.77 0.00 0.90 0.45

time (sec)

N/A 0.351 0.128 3.879 0.000 0.275 0.000 0.370 5.366

Problem 1086

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F A B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

191 197 127 180 0 170 0 169 81

N.S.

1 1.03 0.66 0.94 0.00 0.89 0.00 0.88 0.42

time (sec)

N/A 0.388 0.186 10.334 0.000 0.265 0.000 0.362 0.218

Problem 1087

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

165 165 184 0 0 0 0 0 0

N.S.

1 1.00 1.12 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.379 6.069 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1088

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

147 147 179 0 0 0 0 0 0

N.S.

1 1.00 1.22 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.325 5.823 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1089

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

61 61 54 138 0 104 0 0 0

N.S.

1 1.00 0.89 2.26 0.00 1.70 0.00 0.00 0.00

time (sec)

N/A 0.151 0.011 3.212 0.000 0.245 0.000 0.000 0.000

Problem 1090

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

127 132 68 0 0 0 0 0 0

N.S.

1 1.04 0.54 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.222 5.490 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1091

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

149 149 52 0 0 0 0 0 0

N.S.

1 1.00 0.35 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.311 10.044 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1092

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

165 165 52 0 0 0 0 0 0

N.S.

1 1.00 0.32 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.349 10.040 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1093

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-1) C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

173 173 131 0 0 0 94 0 0

N.S.

1 1.00 0.76 0.00 0.00 0.00 0.54 0.00 0.00

time (sec)

N/A 0.297 0.740 0.000 0.000 0.000 15.839 0.000 0.000

Problem 1094

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-1) C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

136 136 112 0 0 0 94 0 0

N.S.

1 1.00 0.82 0.00 0.00 0.00 0.69 0.00 0.00

time (sec)

N/A 0.261 0.474 0.000 0.000 0.000 3.225 0.000 0.000

Problem 1095

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-1) C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

113 123 100 0 0 0 85 0 0

N.S.

1 1.09 0.88 0.00 0.00 0.00 0.75 0.00 0.00

time (sec)

N/A 0.250 0.369 0.000 0.000 0.000 3.916 0.000 0.000

Problem 1096

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

67 67 44 39 0 43 121 0 49

N.S.

1 1.00 0.66 0.58 0.00 0.64 1.81 0.00 0.73

time (sec)

N/A 0.182 0.360 3.140 0.000 0.294 32.114 0.000 5.617

Problem 1097

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

104 104 67 62 0 66 0 0 75

N.S.

1 1.00 0.64 0.60 0.00 0.63 0.00 0.00 0.72

time (sec)

N/A 0.214 0.501 3.172 0.000 0.327 0.000 0.000 5.596

Problem 1098

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

141 138 91 86 0 90 0 0 100

N.S.

1 0.98 0.65 0.61 0.00 0.64 0.00 0.00 0.71

time (sec)

N/A 0.238 0.591 3.192 0.000 0.309 0.000 0.000 5.674

Problem 1099

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A No Yes N/A TBD TBD TBD TBD TBD

size

180 173 123 0 0 0 94 0 0

N.S.

1 0.96 0.68 0.00 0.00 0.00 0.52 0.00 0.00

time (sec)

N/A 0.351 10.126 0.000 0.000 0.000 44.993 0.000 0.000

Problem 1100

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A No Yes N/A TBD TBD TBD TBD TBD

size

139 135 97 0 0 0 94 0 0

N.S.

1 0.97 0.70 0.00 0.00 0.00 0.68 0.00 0.00

time (sec)

N/A 0.304 10.078 0.000 0.000 0.000 5.195 0.000 0.000

[next] [prev] [prev-tail] [front] [up]